SummerVolume 13, Issue 3 David France Is A Hilltop All-Star

Source URL: www.lwarc.org

Sawja: Static Analysis Workshop for Java Laurent Hubert1 , Nicolas Barr´e2 , Fr´ed´eric Besson2 , Delphine Demange3 , Thomas Jensen2 , Vincent Monfort2 , David Pichardie2 , and Tiphaine Turpin2 1 CNRS/IRISA, France

Source URL: www.irisa.fr

Backwards Abstract Interpretation of Probabilistic Programs David Monniaux http://www.di.ens.fr/~monniaux LIENS, 45 rue d’UlmParis cedex 5, France

Source URL: www-verimag.imag.fr

• Operator theory
• Theoretical computer science
• Measure theory
• Mathematics
• Analysis
• Denotational semantics
• Logic in computer science
• Hermitian adjoint
• Support
• Expected value
• Abstract interpretation
• Adjoint functors

Complexity of Data Tree Patterns over XML Documents Claire David LIAFA, University Paris 7 and CNRS, France

Source URL: www-igm.univ-mlv.fr

Abstract interpretation of probabilistic semantics David Monniaux http://www.di.ens.fr/~monniaux LIENS, 45 rue d’UlmParis cedex 5, France

Source URL: www-verimag.imag.fr

• Theoretical computer science
• Mathematics
• Mathematical logic
• Logic in computer science
• Programming language semantics
• Measure theory
• Boolean algebra
• Probability theory
• Denotational semantics
• Predicate transformer semantics
• Sigma-algebra
• PP

Proved Generation of Implementations from Computationally Secure Protocol Specifications∗ David Cadé and Bruno Blanchet INRIA Paris-Rocquencourt 23 avenue d’Italie, 75013 Paris, France {david.cade,bruno.blanchet}@in

Source URL: prosecco.gforge.inria.fr

Automatic inference of Java non-null annotations Laurent Hubert, Thomas Jensen and David Pichardie CNRS / INRIA / IRISA - Rennes, France FMOODS’08 - Oslo

Source URL: www.trebuh.net

Sawja: Static Analysis Workshop for Java Laurent Hubert1 , Nicolas Barr´e2 , Fr´ed´eric Besson2 , Delphine Demange3 , Thomas Jensen2 , Vincent Monfort2 , David Pichardie2 , and Tiphaine Turpin2 1 CNRS/IRISA, France

Source URL: www.trebuh.net

Program Transformation and Verification are Interrelated (Invited Talk) David Monniaux VERIMAG CNRS - University of Grenoble France

Source URL: refal.botik.ru

Libya, NATO, and International Law By David McReynolds The original UN resolution, pressed for by France, Great Britain, and the US (all three led by men who have never been in armed combat) was to use such force as was

Source URL: www.edgeleft.org